Atom2Deq == <a,b. a =a2 b,TERMOF{atom2-deq-aux:ObjectId, 1:l}> 

latex

---

clarification:

Atom2Deq == <a,b. eq_atom2(a;b),TERMOF{atom2-deq-aux:ObjectId, 1:l}> 

latex

Definitions	<a,b>, x.A(x), eq_atom$n(x;y), atom2-deq-aux
FDL editor aliases	atom2-deq